The conflict of religions during the Christianization of the Greco-Roman aristocracy in Late Antiquity is typified by Synesius, an old-fashioned pagan Neoplatonist who studied under Hypatia at Alexandria, yet who in A.D. 410 became the Christian bishop of Ptolemais in Libya. Before accepting, however, he openly stated his objections to certain Christian dogmas. Was he a Christian or a "baptized Neoplatonist"? The generation of Synesius saw the rapid decline of paganism. Furthermore, the Constantinople he visited was a Greek-Christian Rome whose (...) elites were classically educated. He returned home an ally of the city's Orthodox Christians. He tried to reconcile Neoplatonism with Christianity, but a study of his works demonstrates that he was only partially successful. Synesius is important for our understanding of the old aristocracy in Late Antiquity. His becoming a bishop completes the picture in which we finally see the ancient world transforming itself into the medieval world. The life of Synesius, one man of Late Antiquity, may be viewed as both the recapitulation and anticipation of all the major themes of Classical and Late Antiquity. This title is part of UC Press's Voices Revived program, which commemorates University of California Press’s mission to seek out and cultivate the brightest minds and give them voice, reach, and impact. Drawing on a backlist dating to 1893, Voices Revived makes high-quality, peer-reviewed scholarship accessible once again using print-on-demand technology. This title was originally published in 1982. (shrink)

Purpose. To examine the existential anthropology of G. Marcel and E. Minkowski, in order to demonstrate the necessity of distinguishing the universal-spiritual, as human in human being, apart from the individual-existential in him, and to reveal the hierarchical correlation of biosocial, existential and spiritual spheres in personality. Theoretical basis. Within existential philosophy the author differentiates two separate traditions and proceeds from the insufficiency of the distinction of existential sphere, proposed by phenomenological tradition, showing the necessity of its correlation with the (...) spiritual sphere as a sphere of humanity, proposed by non-phenomenological tradition of G. Marcel and E. Minkowski. Originality. The author presents the anthropological conception of G. Marcel and E. Minkowski, in which human personality is understood as unity of individual-existential and universal-spiritual, which requires a special trans-empirical field of culture, which contains senses, images and symbols of humanity. Also, the author presents the recent developments of existential thinkers in distinguishing existential and spiritual dimensions, both not reducible to the physical and social dimensions. Conclusions. In both existential traditions, the specifically human was founded as a trans-biological and trans-social phenomenon, which appears as indefinable and non-predetermined. But in first tradition, humanity is understood as an existence, as a unique individuality, "project", variant of humanity, equivalent to other variants, and universal is understood as a community of human condition in the world. While in the second tradition, the universal is understood as spiritual. Thus, horizontal level of our private existence, as the process of movement from birth to death, is supplemented by vertical of human, universal ideals and images. Humanity appears as a task, on the way to which human being transcends beyond the limits of his individual "self" to the "super-individual", through inclusion into spiritual community, into universal culture. (shrink)

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much (...) more complex settings. There are numerous exercises throughout the text. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included. (shrink)

Provability, Computability and Reflection.

I would like to begin with the role of philosophy in solving ecological problems, emphasizing two aspects of its role: the struggle against hostile ideology and the organizing and guiding of activity in the sphere of the development of science and the shaping of its problems. This role of Marxist-Leninist philosophy clearly appears in the complex interdisciplinary problem of the interaction between nature and society.

Venturing beyond the framework of an existing culture becomes philosophizing when society begins to sense an acute need for a critique of its historical experience and a change in its cultural underpinnings, which are necessary for attaining a qualitatively new level of interpretaion and understanding. Philosophizing appears as a specialized form of life activity in the sphere of the universal, as an ongoing search for new ways and new foundations for developing the diversity of cultural processes lying at the basis (...) of the reproduction of society, culture, and relations. (shrink)

In recent discussions of moral responsibility, two claims have generated considerable attention: 1) a complete account of responsibility cannot ignore the agent’s personal history prior to the time of action; and 2) an agent’s responsibility is not determined solely by whether certain objective facts about the agent obtain (e.g., whether he/she was free of physical coercion) but also by whether, subjectively, the agent views him/herself in a particular way. John Martin Fischer and Mark Ravizza defend these claims and combine them (...) in a novel manner. They argue that responsibility for an action requires that the agent—at some prior time—have taken responsibility for the kind of mechanism, or process, which produced the action (e.g., practical reason). The notion of taking responsibility is then understood subjectively, requiring that the agent believe it appropriate for others to hold him/her responsible for actions produced by that kind of mechanism. I explore how best to understand the role(s) played by the notion of taking responsibility in Fischer and Ravizza’s account and then argue that being responsible for an action does not require that one have taken responsibility in the subjective sense. That is, being responsible is not a matter of believing oneself to be so. This Article does not have an abstract. (shrink)

No part ot Plato's writings has been more debated than the three similes in Books VI.-VII. of the Republic, and still there is a diversity of opinion about their meaning. I believe that most of these difficulties arise from certain assumptions about their purpose which need revision. The current view applies the Cave to the Line, as Plato seems to direct, and this application, which is itself attended by considerable difficulties, leads to an assimilation of the two figures till they (...) seem to have much the same content and purpose. Again, as this makes the lower line appear to be the phenomenal world, it is thought that the simile of the sun foreshadows the theme of the Line by hinting at a connexion between the intelligible and the sensible which is made more explicit in the Line. Thus the group of similes seem mainly intended to show the dependence of Becoming upon Being. This paper will argue that such a view depends upon the misrepresentation of the symbolism adopted by Plato, that two antithetical groups of symbols are confused with one another, and that symbols are even identified with antitypes. Owing to these misinterpretations the Form of the Good has been mistaken for a material cause; both the Line and the Cave have been thought to reveal Plato as embarrassed by a dualism between sense and intellect, and the purpose of the Cave in particular, since the error is cumulative, has been completely obscured. This paper will attempt to substitute for current accounts another interpretation which will relate the three similes closely with the political arguments of Book VI., and with the Platonic education which is set forth in close connexion with them. (shrink)

Health workers and support staff at Malawi’s major referral hospital, the Queen Elizabeth Central Hospital, Blantyre, were on strike between 5th and 19th October 2001. The health workers’ grievances included: lack of risk allowances; poor professional allowances; low salaries; and low housing allowances. The strike resulted in almost total closure of the 1500-bed hospital; only the burns and orthopaedic wards continued to serve patients. Volunteer staff, comprising the Red Cross, and nursing and medical students provided services. Verbal and written threats (...) by the authorities had minimal effect on terminating the strike; rather, they encouraged the resolve to continue with the industrial action. We report aspects of the genesis, progress and resolution of the strike. Although not much seems to have been achieved, both the employer and the workers need to draw lessons from the experience. (shrink)